ホモロジー代数において、高次の $ \mathrm{Ext} $ 群が消滅することは、計算過程で生じる位相的・代数的な障害（バグ）が完全にゼロになることを意味する。Liquid理論において、測度の空間 $ \mathcal{M}_{p}(S) $ に対する $ \mathrm{Ext} $ 群が消えることは、以下の3つの実践的な機能をもたらす。
条件 $ \mathrm{Ext}^{i}(P, V) = 0 $ （ $ i>0 $ ）を満たす対象 $ P $ を、圏論では射影的対象 (projective object) と呼ぶ。関数解析における複雑なLiquidベクトル空間 $ V $ を計算する際、 $ V $ を直接扱う代わりに、 $ \mathrm{Ext} $ が消滅する空間 $ \mathcal{M}_{p}(S) $ の直和 $ P_{n} $ を用いた完全列（射影分解）を構成できる。
$$ \dots \to P_{2} \to P_{1} \to P_{0} \to V \to 0 $$これにより、 $ V $ の位相を壊すことなく、安全なブロック $ P_{n} $ たちの上で代数計算を実行できる。
2つの空間 $ V $ と $ W $ のテンソル積を構成する際、古典的には適切な位相の導入が極めて困難であった。Liquid理論では、射影分解を用いて導来テンソル積 $ V \otimes^{\mathbb{L}} W $ を計算する。ブロックの $ \mathrm{Ext} $ が消滅しているおかげで、マイナスの次元に不要なTor群などのノイズが生じず、結合法則 $ (U \otimes V) \otimes W \simeq U \otimes (V \otimes W) $ が完全な形で成立する。
層のコホモロジーの本質は $ \mathrm{Ext} $ 群の計算である。複素解析幾何学などで局所的なデータを大域に貼り合わせる際、古典的な極限操作では完備性が保たれない障害があったが、Liquid理論ではベースとなる $ \mathcal{M}_{p}(S) $ の $ \mathrm{Ext} $ がゼロであるため、位相的な障害が発生せず、代数幾何学の強力な道具（導来圏など）をそのまま適用できる。
実数 $ \mathbb{R} $ や Lebesgue空間 $ L^{p} $ などの関数解析で扱う空間は、可分（可算な稠密部分集合を持つ）であり、可算個のデータから位相が決定される。したがって、これらの空間を扱う上で非可算サイズの巨大なプロ有限集合をテストする必要はなく、カントール集合のような「Lightな」空間を用いるだけで関数の位相や収束の情報を完全に捕捉できる。これにより、標準的なZFC集合論の枠組みでLiquid理論が展開可能となる。
Light凝縮数学は実数上のLiquid理論だけでなく、 $ p $ 進数や整数環上のSolid理論でも完璧に機能する。その理由は以下の通りである。
位相空間論としては、 $ [0,1] $ は Topological Topos 内の対象として適切に振る舞い、連続性も代数化できる。しかし、ホモロジー代数を実行するためには、対象を代数的に分解・被覆するための結合全射 (joint surjection) が必要になる。
ホモロジー代数において $ \mathrm{Ext} $ 群を消滅させるためには、対象 $ \mathcal{M}(X) $ をテスト空間 $ \mathbb{N}_{\infty} $ から生成される射影的対象で完全に覆い尽くし、全射（エピ射）を構成しなければならない。
Topological Topos においては、 $ X $ は収束点列空間であるため、適当な添字集合 $ I $ を用いて、位相的な全射 $ p \colon \coprod_{i \in I} \mathbb{N}_{\infty} \twoheadrightarrow X $ が存在する。ここまでは位相空間論の枠組みとして正当である。
Liquid理論を展開するために、この写像 $ p $ を測度の空間の関手 $ \mathcal{M} $ で引き上げる。これにより、写像 $ \mathcal{M}(p) \colon \mathcal{M}(\coprod_{i \in I} \mathbb{N}_{\infty}) \to \mathcal{M}(X) $ が得られる。
ここで測度論の事実を用いる。 $ \mathbb{N}_{\infty} $ は可算集合である。可算集合上のいかなる測度も、各点に台を持つディラック測度の無限和、すなわち純粋にアトミックな測度 (atomic measure) にしかならない。アトミックな測度を連続写像 $ p $ で前押し (pushforward) しても、得られる測度 $ p_{*}(\mu) $ は必ずアトミックな測度である。
しかし、 $ X = [0,1] $ 上の測度の空間 $ \mathcal{M}(X) $ には、ルベーグ測度のような、アトミックな部分を一切持たない連続的な測度が存在する。したがって、ルベーグ測度は写像 $ \mathcal{M}(p) $ の像に含まれず、 $ \mathcal{M}(p) $ は全射にならない。
全射にならないため、余核 $ C = \mathcal{M}(X) \smallsetminus \mathrm{Im}(\mathcal{M}(p)) $ は $ \varnothing $ ではなく、非自明な空間として残る。この $ C $ がホモロジー代数におけるコサイクルとして機能し、完全列を用いた計算時に高次コホモロジー群に非自明な元を生み出す。ゆえに $ \mathrm{Ext}^{1}_{\mathrm{TopTopos}}(\mathcal{M}(\mathbb{N}_{\infty}), \mathcal{M}(X)) \neq 0 $ である。証明終。
カントール集合 (Cantor set) $ C $ の場合、完全非連結でありながら非可算集合であるため、カントール分布などの連続的な測度を持てる。さらに Alexandroff の定理により、任意のコンパクト距離空間 $ X $ への連続な全射 $ C \twoheadrightarrow X $ が存在する。これによりルベーグ測度を完全に被覆でき、 $ \mathrm{Ext} = 0 $ が達成される。これがLight凝縮数学がカントール集合をテスト空間に選んだ決定的な理由である。
高次コホモロジー群がゼロになることを示すためには、対象 $ \mathcal{M}_{p'}(S) $ の射影分解から誘導されるチェイン複体において、恒等写像 $ \mathrm{id} $ と境界作用素 $ d $ に関して $ \mathrm{id} = dh + hd $ を満たす縮小ホモトピー (contracting homotopy) $ h $ を構成すればよい。
まず、対象を代数的に分解するために Breen-Deligne 分解 (Breen-Deligne resolution) を用いる。これは任意のアーベル群 $ A $ を自由アーベル群 $ \mathbb{Z}[A] $ の直和のみでホモロジー的に完全に分解する手法である。これを $ \mathcal{M}_{p'}(S) $ に適用し、写像が空間をどれくらい引き伸ばすかという作用素ノルムの評価を伴う解析的な複体 $ C^{\bullet} $ へと拡張する。
次に縮小ホモトピー $ h_{n} \colon C^{n} \to C^{n-1} $ を無限個の項の和として構成する。 $ p=1 $ （古典的なBanach空間）の場合、Breen-Deligne分解の性質により作用素ノルムが足し合わせるごとに指数関数的に爆発し、無限和が発散するためホモトピーは構成できない。
しかし、 $ p' < p $ の条件のもとでは、空間の非凸性の差が利用できる。 $ \mathcal{M}_{p'}(S) $ の元を $ \mathcal{M}_{p}(S) $ の中で測定すると、成分が細かく分割されるごとにノルムが強制的に指数関数的に減衰する強力な不等式が成立する。この $ p' < p $ によるノルムの減衰効果が、Breen-Deligne分解から生じるノルムの爆発を完全に相殺して上回る。結果として、無限和 $ h_{n} $ は絶対収束し、 well-defined な作用素として定まる。これにより複体は完全となり、すべての $ i > 0 $ に対して $ \mathrm{Ext}^{i} = 0 $ となる。証明終。
古典的な関数解析において、テスト関数の空間 $ \mathcal{D}(\mathbb{R}) $ は、厳密帰納極限 (strict inductive limit) として構成されるLF空間という極めて厄介な位相を持っていた。Liquid理論においては、これが位相的な破綻を起こさない純粋に代数的な直極限 (colimit) として完全に安全に定義され、超関数の空間 $ \mathcal{D}'(\mathbb{R}) $ とのホモロジー計算も自由に行える。
さらに $ \mathcal{D}(\mathbb{R}) $ は、Liquid理論の中で最も扱いやすい「核型 Liquid ベクトル空間」となる。
Grothendieckによる古典的な定義では、核型空間は「トレースクラス作用素」や「固有値の減衰」といった解析学の不等式を用いて定義されていた。ClausenとScholzeは、Liquid理論の枠組みにおいて、「固有値が急速に減衰する」という解析的条件と、「テンソル積が無限直積と交換する」という純粋な代数的条件が完全に等価であることを証明した。
この代数的な核型の定義は、実数だけでなく整数環や $ p $ 進数の世界 (Solid) でも全く同じ形で機能する。
非アルキメデス的な世界には「距離」や「微分」の概念が存在しないため、Grothendieckの解析的な手法では核型空間を定義すること自体が不可能であった。ClausenとScholzeがこの純粋な代数ルールを公理として採用したことで、人類で初めて $ p $ 進数や整数環の世界に完璧に機能する核型関数解析の枠組みが誕生した。実数（Liquid）と $ p $ 進数（Solid）の双方が全く同じ一条の代数方程式で定義されるようになり、ラングランズ・プログラムなどで求められる両世界の統一的な計算が可能となったのである。
Light凝縮数学がオリジナルの理論からいかに「計算の複雑さ」と「集合論の不安」を取り除いたかを示す。
| 項目 | オリジナルの凝縮数学 | Light凝縮数学 | 単純化の実益 |
|---|---|---|---|
| テスト空間 | すべてのプロ有限集合 | カントール集合など可算生成のみ | 取り扱う空間のサイズが直観的になる |
| 集合論の前提 | グロタンディーク宇宙（到達不能基数） | 標準的なZFC集合論のみ | マニアックな基礎論の仮定を完全排除 |
| Solid化の計算 | 抽象的で複雑な導来完備化 | 古典的な逆極限と完全に一致 | 岩澤代数など既存の数論的ツールが直結 |
| Liquidの定義 | 無数のプロ有限空間で $ \mathrm{Ext}=0 $ を確認 | カントール集合上で $ \mathrm{Ext}=0 $ ならOK | 空間がリキッドであることの証明が劇的にスリム化 |
| 連続測度の扱い | 巨大空間上の測度まで考慮 | カントール分布などの標準的な測度で十分 | 測度論のアトミックと連続の壁を最小労力で突破 |